Patterns 1 and 2 are proven emperically here: offload.java       pat.java       books.lst